|
DWF_DF_01 - A duplicate or a split function must have only one incoming exchange |
|---|---|
| This rule checks that a duplicate or a split function have only one incoming exchange. | |
|
DWF_DF_02 - A gather function must have only one outgoing exchange |
|---|---|
| This rule checks that a gather function must have only one outgoing exchange. | |
|
DWF_DF_03 - Functional chain check |
|---|---|
| This rule checks that a FunctionalChain is valid. | |
|
DWF_DF_04 - Functional chain involvement check 1 |
|---|---|
| This rule checks that a Functional Chain Involvement only involves an Abstract Function, a Functional Exchange or a Functional Chain. | |
|
DWF_DF_05 - Functional chain involved functions active in state |
|---|---|
| This check ensures that all the functions involved in FunctionalChain are also active in modes and states as FunctionChain. | |
|
DWF_DF_06 - Functional Exchange location check |
|---|---|
| This rule ensures that Functional Exchange is located in the common ancestor between its source/target elements. | |
|
DWF_DF_12 - A duplicate, a gather, a route, a select or a split function must be a leaf function |
|---|---|
| This rule check that a duplicate, a gather, a route, a select or a split function must be a leaf function. | |
|
DWF_DF_14 - Functional chain involvement allocated exchange items |
|---|---|
| This rule ensures that a functional chain involvement does not allocate exchange items which are not allocated by involved functional exchange. | |
|
DWF_DF_15 - SequenceLinks between the referenced Involvement Functions/OperationalActivities have no Involvement Links referencing them |
|---|---|
| This check ensures that SequenceLinks between the referenced Involvement Functions have Involvement Links referencing them. | |
|
DWF_DF_16 - SequenceLink has empty condition |
|---|---|
| This rule checks if there is an empty condition on the SequenceLink. | |
|
DWF_DF_17 - SequenceLink between two adjacent Control Nodes without a FunctionalChainInvolvementFunction |
|---|---|
| This rule checks if there is a Sequence Link between two adjacent ControlNodes without a FunctionalChainInvolvementFunction. | |
|
DWF_DF_18 - SequenceLink with no associated FunctionalChainInvolvementLinks |
|---|---|
| This rule checks if a SequenceLink has associated FunctionalChainInvolvementLinks. | |
|
DWF_DF_19 - SequenceLink with inconsistent associated FunctionalChainInvolvementLinks |
|---|---|
| This rule checks if a SequenceLink has inconsistent associated FunctionalChainInvolvementLinks. | |
|
DWF_DF_20 - SequenceLink between the referenced Involvement Functions/OperationalActivities is in opposite direction to Involvement Links referencing them |
|---|---|
| This rule checks if a SequenceLink between the referenced Involvement Functions/OperationalActivities is in opposite direction to a Involvement Links referencing them. | |
|
DWF_DF_21 - Control Nodes inconsistent operations |
|---|---|
| This rule checks the ControlNode construction inconsistencies. A ControlNode is valid if it has one IN and two OUT links or two IN and one OUT link. | |